#ifndef __CPU_IFETCH_H__

#include <memory/vaddr.h>

static inline uint32_t inst_fetch(uint64_t pc, int len) {
  uint32_t inst = vaddr_ifetch(pc, len);
  return inst;
}

#endif
